面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

一种基于OPTICS聚类的仅测角导航目标检测算法

仅测角自主导航方法具有设备简单、复杂度低，功耗低的优点，在空间任务中具有广泛的应用前景.针对中远距离下空间目标特征少的特点，提出了一种利用基于OPTICS聚类算法的空间目标检测方法，可用于仅测角导航过程中的目标检测.对原始星图进行预处理提取星点及目标点，并结合星图识别的结果选择部分帧，使用经过改进的OPTICS聚类方法获得目标运动轨迹.最后，使用本文中的算法对软件仿真出的含有目标的高精度星图进行处理验证了算法的可行性.在卫星相对于空间目标抵近过程中，目标检测的水平误差及垂直误差小于0.15°的帧数分别占到了85.4%以及99.6%.相比AVANTI实验中的目标检测方法，减少了在轨任务中相关参数的调节，进一步提升了算法的自主性.     

联邦学习安全与隐私保护综述

联邦学习是一种新型的分布式学习框架，它允许在多个参与者之间共享训练数据而不会泄露其数据隐私。但是这种新颖的学习机制仍然可能受到来自各种攻击者的前所未有的安全和隐私威胁。本文主要探讨联邦学习在安全和隐私方面面临的挑战。首先，本文介绍了联邦学习的基本概念和威胁模型，有助于理解其面临的攻击。其次，本文总结了由内部恶意实体发起的3种攻击类型，同时分析了联邦学习体系结构的安全漏洞和隐私漏洞。然后从差分隐私、同态密码系统和安全多方聚合等方面研究了目前最先进的防御方案。最后通过对这些解决方案的总结和比较，进一步讨论了该领域未来的发展方向。     

基于北斗三号的长基线共视时间比对

卫星导航共视时间比对一直是远距离时间比对的重要方法之一。使用我国最新发射的北斗三号全球导航卫星，基于中科院国家授时中心（NTSC）和捷克光电研究院（TP）各自的时间产生和保持系统，开展了中捷北斗三号长基线共视时间比对试验。本文对中捷两站各自的北斗卫星可视数及其卫星高度角情况进行了统计分析，利用Vondark滤波对时间比对结果进行了降噪处理，最后将北斗三号共视时间比对结果与北斗二号及GPS共视时间比对结果进行了比较。结果表明：北斗三号在当前全球组网阶段中捷共视可视卫星数比北斗二号还少的情况下，其共视时间比对精度达到1.16ns，较北斗二号提升约19%，与GPS更为接近。     

燃烧催化剂苯甲酸铜盐及其衍生物的热分解研究(Ⅱ)──双取代基苯甲酸铜盐的热分解机理

羟基氨基苯甲酸铜、二羟基苯甲酸铜、二硝基苯甲酸铜和对硝基苯甲酸铜的DSC和TG热分解研究表明，与苯甲酸铜一样，它们分解都生成一种稳定的二聚作中间产物──双核铜五元环络合物，前二者还能生成一种八元环二聚体络合物。芳香基上由于引入硝基，使主要分解反应阶段由吸热效应变成放热反应，具有二个硝基取代基者，这种放热效应较只有一个硝基者更强烈。本文还初步探讨了苯甲酸铜及其衍生物分解历程与双基推进剂燃烧过程催化效果的关系。     

弹性机器人的LQG／LTR控制

ＬＱＧ／ＬＴＲ设计方法仅适合于最小相位系统，本文对单臂弹性机器人系统，进行适当的处理和对方法进行改进后，仍采用ＬＱＧ／ＬＴＲ方法设计控制器，得到的闭环系统有较强的鲁棒性。     

H∞控制及其应用

本文叙述了Ｈ∞控制器设计的频域法和代数法，在频哉法中介绍了标准问题的模型匹配解法和丁谱分解法；在代数法中介绍了多项式法，直接状态空间法，最后简述了几个实际应用的例子。     

8mm衰减标准装置

对8mm衰减标准装置的工作原理、系统设计、主要技术特点、误差分析等进行了详细介绍,并附有测试和分析数据。该装置达到了80dB的量程、全频段和±0.003dB/10dB的准确度。     

基于软件工程基本原理的电子商务网站建设

针对电子商务网站建设过程中存在的问题，从软件工程基本原理出发，分析结合软件生存周期瀑布模型提出电子商务网站的建设过程，对克服当前主要不足有一定的帮助作用。     

黑井古镇:消逝的古盐都

虽不见了旧时车马喧嚣的繁华，但走在那红砂石铺就的街面，还是能见到不少尚好的陈年旧物，寻觅到一些沉积的历史片段。这要得益于当地人世代坚守的“卖屋不富，置物不穷”的古训，